Very Interesting Resources ========================== Very Interesting Webpages -------------- ### 6502 * [COMFY-6502 compiler: port to Common Lisp](https://josephoswald.nfshost.com/comfy/summary.html) * [cc65 - a freeware C compiler for 6502 based systems](https://cc65.github.io/) ### Abstract Algebra * [start - MathStructures](https://math.chapman.edu/~jipsen/structures/doku.php/) ### Agile Development * [The Scrum Framework at a Glance (jpg)](https://resources.scrumalliance.org/uploads/2021/1/11/scrum-framework-sm4-qskx2NDlCke0cG3a3qIPA.jpg) ### Algorithms * [An Introduction to Real-Time Stock Market Data Processing - CodeProject](https://www.codeproject.com/Articles/553206/An-Introduction-to-Real-Time-Stock-Market-Data-Pro) ### Character Sets * [A Spectre is Haunting Unicode](https://www.dampfkraft.com/ghost-characters.html) ### Commodore 64 * [C64-Wiki](https://www.c64-wiki.com/) * [Commodore 64 screen codes](http://sta.c64.org/cbm64scr.html) ### Compiler Construction * [How to compile with continuations](https://matt.might.net/articles/cps-conversion/) * [Example assembly/machine instruction from lambda calculus](https://stackoverflow.com/questions/67594976/example-assembly-machine-instruction-from-lambda-calculus) ### Computational Complexity * [Descriptive Complexity](https://people.cs.umass.edu/~immerman/descriptive_complexity.html) ### Constraint Programming * [Lecture 15 - Constraint Satisfaction Problems (slides)](https://web.archive.org/web/20180404184624/http://www.doc.ic.ac.uk:80/~sgc/teaching/pre2012/v231/lecture15.ppt) ### DOS * [Index of /sites/ftp.delorie.com/pub/djgpp/current](https://www.mirrorservice.org/sites/ftp.delorie.com/pub/djgpp/current/) ### Electronics * [A Review of Electronics](https://web.archive.org/web/20240812195358/http://mysite.du.edu/~etuttle/electron/elecindx.htm) * [The GIICM](https://www.kingswood-consulting.co.uk/giicm/) * [ALLDATASHEET.COM - Electronic Parts Datasheet Search](https://www.alldatasheet.com/) ### Electronics Projects * [Asychronous 40-bit TTL CPU](http://www.hanssummers.com/ttlcpu.html) ### Energy Management * [Large-scale electricity storage | Royal Society](https://royalsociety.org/news-resources/projects/low-carbon-energy-programme/large-scale-electricity-storage/) ### Formal Specification * [Attempto Project](http://attempto.ifi.uzh.ch/site/) ### Functional Programming * [Railway Oriented Programming | F# for fun and profit](https://fsharpforfunandprofit.com/rop/) ### Game Assets * [The Cutting Room Floor](https://tcrf.net/The_Cutting_Room_Floor) ### Haskell * [Hoogle](https://hoogle.haskell.org/) ### Literature * [Top 100 \| Project Gutenberg](https://gutenberg.org/browse/scores/top#books-last30) ### Logic * [Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-higher-order/) ### Lua * [The Programming Language Lua](https://lua.org/) * [Lua 5.3.5 Online Demo for MS-DOS : Lua.org, PUC-Rio : Free Download, Borrow, and Streaming : Internet Archive](https://archive.org/details/lua5.3.5) ### Mathematics * [Readings | Mathematics for Computer Science | Electrical Engineering and Computer Science | MIT OpenCourseWare](https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-fall-2010/pages/readings/) ### Modal Logic * [Modal Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-modal/) ### Parsing * [Yacc is dead: An update](https://matt.might.net/articles/parsing-with-derivatives/) ### Philosophy * [The Philosophy of Computer Science (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/computer-science/) ### PostgreSQL * [PostgreSQL notifications with Psycopg2 and Eventlet --- Psycopg](https://www.psycopg.org/articles/2010/12/01/postgresql-notifications-psycopg2-eventlet/) ### Public Domain * [David Ahl places all his classic computing publications into the Public Domain « Adafruit Industries](https://blog.adafruit.com/2022/06/16/david-ahl-places-all-his-classic-computing-publications-into-the-public-domain/) * [Llamasoft 8 bit games](https://web.archive.org/web/20070629145455/http://www.medwaypvb.com/llamadloads.htm) * [Commons:Pearson Scott Foresman - Wikimedia Commons](https://commons.wikimedia.org/wiki/Commons:Pearson_Scott_Foresman) ### Scheme * [Bibliography of Scheme-related Research](https://web.archive.org/web/20180726144531/http://library.readscheme.org/) ### Software Engineering * [1968 NATO Software Engineering Conference](https://isthisit.nz/posts/2022/1968-nato-software-engineering-conference/) * [Classic SE Mistakes by Steve McConnell • Jonathan Cook](https://www.cs.nmsu.edu/~jcook/posts/classic-se-mistakes-mcconnell/) ### Type Theory * [Type Theory (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/type-theory/) * [Intuitionistic Type Theory (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/type-theory-intuitionistic/) Very Interesting Books -------------- ### Apple II * The Applesoft Tutorial (online @ [archive.org](https://archive.org/details/applesoft-tutorial)) * Disk Operating System Instructional and Reference Manual: DOS Version 3.2 (online @ [archive.org](https://archive.org/details/Apple_DOS_3.2_Instructional_Reference_Manual_HQ)) ### Compiler Construction * Compilers and Compiler Generators (borrow @ [archive.org](https://archive.org/details/compilerscompile0000terr)) ### Game Development * Game Programming Patterns (online @ [gameprogrammingpatterns.com](https://gameprogrammingpatterns.com/contents.html)) ### Logic * Introduction to Mathematical Proof (online @ [monks.scranton.edu](https://monks.scranton.edu/files/courses/Math299/math-299-lecture.pdf)) ### Lua * Programming in Lua (first edition) (online @ [www.lua.org](https://www.lua.org/pil/contents.html)) ### Numerical Analysis * An Introduction to Computer Simulation Methods: Applications to Physical Systems (borrow @ [archive.org](https://archive.org/details/introductiontoco0000goul)) * Inside SPICE (online @ [archive.org](https://archive.org/details/kielkowski-inside-spice-1994)) ### PLDI * Theories of Programming Languages (borrow @ [archive.org](https://archive.org/details/theoriesofprogra0000reyn)) ### Pascal * Programming Your Own Adventure Games in Pascal (online @ [archive.org](https://archive.org/details/programming-your-own-adventure-games-in-pascal)) ### Term Rewriting * Advanced Topics in Term Rewriting (borrow @ [archive.org](https://archive.org/details/advancedtopicsin0000ohle)) ### Type Systems * Counterexamples in Type Systems (online @ [counterexamples.org](https://counterexamples.org/)) ### User Interface * The Humane Interface (borrow @ [archive.org](https://archive.org/details/humaneinterfacen00rask)) Very Interesting Papers -------------- ### Algebraic Logic * [Origins of the Calculus of Binary Relations](http://boole.stanford.edu/pub/ocbr.pdf) ### Algorithms * A Discipline of Dynamic Programming over Sequence Data (online @ [bibiserv.cebitec.uni-bielefeld.de](https://bibiserv.cebitec.uni-bielefeld.de/adp/ps/GIE-MEY-STE-2004.pdf)) ### Compiler Construction * [An Introduction to Operational Semantics](https://www.cse.iitd.ac.in/~sak/courses/pl/opsem.pdf) ### Coq * Interaction Trees (online @ [archive.org](https://archive.org/details/interaction-trees-representing-recursive-and-impure-programs-in-coq)) ### Equational Logic * [Equational logic, unification and term rewriting](https://www2.math.uu.se/~palmgren/tillog/equlogic07.pdf) * [Field Guide to Equational Logic](https://www.sciencedirect.com/science/article/pii/074771719290013T) * [Equational Logic (Course Notes, USC, Spring 2017)](https://people.math.sc.edu/mcnulty/alglatvar/equationallogic.pdf) ### Formal Language * On the Structure of Context-Sensitive Grammars (online @ [archive.org](https://archive.org/details/nasa_techdoc_19710024701)) ### Functional Programming * Total Functional Programming (online @ [www.jucs.org](https://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf)) ### Lambda Calculus * [A Short Introduction to the Lambda Calculus](https://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf) * [Introduction to Lambda Calculus](https://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf) * [Chapter 5: The Untyped Lambda Calculus](https://xiongyingfei.github.io/DPPL/2021/xiong_ch5.pdf) ### Modal Logic * A Modal Walk Through Space (online @ [web.archive.org](https://web.archive.org/web/20221001044857/https://www.cs.rug.nl/~aiellom/publications/lops2.pdf)) ### Parsing * [Parsing as Deduction](https://web.archive.org/web/20171210015524/http://www.aclweb.org/old_anthology/P/P83/P83-1021.pdf) ### Relational Programming * [Overview of relational programming](https://archive.org/details/overviewofrelati00macl) ### Term Rewriting * [Combinatory Reduction Systems](https://core.ac.uk/download/pdf/82018757.pdf) * [A Constructive Semantics for Rewriting Logic](https://digitalcommons.uri.edu/oa_diss/268/) ### Topology * Finite Topological Spaces (online @ [www.math.uchicago.edu](https://www.math.uchicago.edu/~may/MISC/FiniteSpaces.pdf)) Very Interesting Repositories -------------- ### Programming Languages * [manuel/wat-js: Concurrency and Metaprogramming for JS](https://github.com/manuel/wat-js) * [dcurrie/wren: Language with a bytecode compiler that can run on computers with only a few kB of RAM.](https://github.com/dcurrie/wren) ### Public Domain * [public-domain account at github.com](https://github.com/public-domain?tab=repositories) ### Scheme * [siraben/r5rs-denot: A correct Scheme interpreter derived from the R5RS spec\'s formal semantics, written in Haskell.](https://github.com/siraben/r5rs-denot) ### TLA(plus) * [tlaplus/PlusPy: Python interpreter for TLA+ specifications](https://github.com/tlaplus/PlusPy) ### Theorem Proving * [stepchowfun/proofs: My personal repository of formally verified mathematics.](https://github.com/stepchowfun/proofs) * [thautwarm/Sequent.jl: formally and easily, describe the semantics.](https://github.com/thautwarm/Sequent.jl) ### User Interface * [art-w/unicorn: Purely functional GUI algebra](https://github.com/art-w/unicorn)